package example

trait Cancelable
trait Movable

type Y = (Cancelable & Movable)

type X = String | Int
